<?
// strips <script> tags from a chunk of html
function strip_javascript( $html = '' ){
	return preg_replace( '@<script[^>]*?>.*?</script>@si' , '', $html); 
}

// end of file
// functions_Handy.php